<i>The Canadian Modernists Meet</i>, Dean Irvine, ed.

UC Irvine UC Irvine Previously

Background: To model and thoroughly understand animal transcription networks, it is essential to derive accurate spatial and temporal descriptions of developing gene expression patterns with cellular resolution. Results: Here we describe a suite of methods that provide the first quantitative three-dimensional description of gene expression and morphology at cellular resolution in whole embryos....

UC Irvine UC Irvine

UC Irvine UC Irvine

UC Irvine UC Irvine Previously

IThe theory of optimal reductions

We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...